:: (a -> IO b) -> DirTree a -> IO (DirTree b) -package:zio package:numeric-prelude

Map each element of a structure to a monadic action, evaluate these actions from left to right, and collect the results. For a version that ignores the results see mapM_.